Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC
نویسندگان
چکیده
This paper proposes a SystemC based extension for the modeling of TimeTriggered Architecture (TTA) based real-time embedded systems. The extension called Executable Time-Triggered Model (E-TTM) supports the time-triggered model of computation and provides a time domain deterministic modeling framework based on SystemC. E-TTM can be used from the architectural design phase to support early functional, temporal and dependability assessments. This approach is illustrated with two case studies. The design and Simulated Fault Injection (SFI) of an odometry safety-critical embedded system, and the design and simulation of a real-time control-system integrated with a SystemC-AMS model of the plant.
منابع مشابه
A Simulation Framework for Design of Mixed Time/Event-Triggered Distributed Control Systems with SystemC/TLM
Mixed time/event-triggered (TT/ET) distributed control systems are complex systems which have emerged in many cyber-physical domains but have been difficult to evaluate at early design stages. In order to reveal design flaws as early as possible, this paper proposes a simulation framework based on an executable virtual platform model in SystemC/TLM. The executable platform is generated using a ...
متن کاملModeling Time-triggered Architecture Based Safety-critical Embedded Systems Using Systemc ........ 10 5bcmffpgg$poufout 5bcmffpgg$poufout 5bcmffpgg$poufout 5bcmffpgg$poufoutt Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in Systemc-ams
—For the design of complex systems both accurate and abstract models are required. Especially for analog subsystems this trade-off is difficult. The new SystemC AMS extensions [7] offer high simulation performance, but also serious restrictions. In this paper we model a switched capacitor sigma delta mod-ulator using the SystemC AMS extensions. The model combines high simulation performance whi...
متن کاملModeling Time-triggered Architecture Based Safety-critical Embedded Systems Using Systemc ........ 10 5bcmffpgg$poufout 5bcmffpgg$poufout 5bcmffpgg$poufout 5bcmffpgg$poufoutt towards Abstract Analysis Techniques for Range Based System Simulations
In recent times, range based modeling and simulation techniques have emerged for systems with parameter tolerances and deviations. They are used to perform a semisymbolic simulation and to analyze the examined systems for their time domain behavior. The system quantities in such simulations are represented as range based signals using the concept of Affine Arithmetic. Transforming the range bas...
متن کاملDesign Space Exploration of IEEE 802.11n using SystemC
This paper proposes the case study of the design space exploration using SystemC. The platform based design with BUS based communication architecture is used as designing approach. IEEE 802.11n system is used as case application. Transaction level modeling(TLM) of the platform is generated using SystemC. Various architectural options – CPU and BUS clock speed, memory response time, memory size ...
متن کاملModeling Time-triggered Architecture Based Safety-critical Embedded Systems Using Systemc ........ 10 5bcmffpgg$poufout 5bcmffpgg$poufout 5bcmffpgg$poufout 5bcmffpgg$poufoutt Mixed Signal Simulation with Systemc and Saber
Increasing complexity and heterogeneity leads to systems that combine the aspects of both digital hardware/software and mixed-signal embedded systems. A major difficulty is the fact that the components for mixed-signal systems are designed bottom-up, while a digital hardware/software system is designed topdown. Often this requires co-simulation, in practice involving multiple simulators from di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011